2401. Tractatus logico-philosophicus suivi de investigations philosophiques
پدیدآورنده : Par Ludwig Wittgenstein
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus,Logic, Symbolic and mathematical.,Philosophy.,Language and languages.
2402. Tractatus logico - philosophicus; suivi de investigations philosophiques
پدیدآورنده : / par Ludwig Wittgenstein . Traduit de l`allemand par Pierre Klosowski...,Wittgenstein
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical,Languages - philosophy
رده :
BC
135
.
W56
2403. Tractatus logico-philosophicus: the German text of Ludwig Wittgenstein Logisch-philosophische abhandlung
پدیدآورنده : Wittgenstein, Ludwig, 9881-1591
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B
3376
.
W563T72
1988
2404. Tractatus logico-philosophicus, with an introduction by Bertrand Russell, F.R.S.
پدیدآورنده : Wittgenstein, Ludwig
کتابخانه: کتابخانه گروه باستان شناسی دانشکده ادبیات دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical ،Philosophy ،Language and languages
رده :
BC
135
.
W5
2405. Traffic Control and Transport Planning:
پدیدآورنده : by Dušan Teodorović, Katarina Vukadinović.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Civil engineering.,Logic, Symbolic and mathematical.,Mathematics.,Regional economics.
2406. Traite de logique; essai de logistique operatoire
پدیدآورنده : Jean Piaget
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical.,Logic.
2407. Traite de logique;essai de logistique operatoire
پدیدآورنده : Piaget
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical,Arabic imprin%
رده :
BC135
.
P65
2408. Transcendence and Wittgenstein's Tractatus
پدیدآورنده : Michael P. Hodges,Title
کتابخانه: (طهران)
موضوع : Wittgenstein, Ludwig,- 1889-1951.- Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language and languages- Philosophy,Transcendence )Philosophy(
رده :
B
.
W563
,
T73345
3376
1990
2409. Transition to higher mathematics: structure and proof
پدیدآورنده : / Bob A. Dumas, John E. McCarthy
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, Symbolic and mathematical,-- Textbooks
رده :
511
.
3
D886T
2007
2410. Translations from the philosophical writings of Gottlob Frege
پدیدآورنده : Frege, Gottlob, 8481-5291
کتابخانه: (طهران)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
رده :
BC
135
.
F73T7
1980
2411. Trends in Logic
پدیدآورنده : edited by Vincent F. Hendricks, Jacek Malinowski.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Coding theory.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
2412. Truth, deduction, and computation
پدیدآورنده : / R.E. Davis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
رده :
QA76
.
7
.
D386
1989
2413. Truth, possibility and probability : new logical foundations of probability and statistical inference
پدیدآورنده : Chuaqui, Rolando
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
C58
1991
2414. Truth, syntax and modality
پدیدآورنده : edited by Hugues Leblanc.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses.,Semantics, Congresses.
2415. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics
پدیدآورنده : Conference on Alternative Semantics, 0791, Temple University
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Semantics-- Congresses
رده :
BC
135
.
C56
1970
2416. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics
پدیدآورنده : edited by Hugues Leblanc
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics
رده :
BC
135
.
C56
1970
2417. Truth, syntax and modality: proceedings of the Temple University Conference on Alternative semantics
پدیدآورنده : edited by Hugues Leblance
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics
رده :
BC
135
.
C56
1970
2418. Truthlikeness
پدیدآورنده : by Ilkka Niiniluoto.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
2419. Twelve papers in logic and algebra
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Algebra-- Addresses, essays, lectures
رده :
QA
3
.
A572
ser
.
2
vol
.
113
2420. Two applications of logic to mathematics
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
1978